On the infeasibility of analysing worst-case dynamic energy

نویسندگان

  • Jeremy Morse
  • Steve Kerrison
  • Kerstin Eder
چکیده

In this paper we study the sources of dynamic energy during the execution of software on microprocessors suited for the Internet of Things (IoT) domain. Estimating the energy consumed by executing software is typically achieved by determining the most costly path through the program according to some energy model of the processor. Few models, however, adequately tackle the matter of dynamic energy caused by operand data. We find that the contribution of operand data to overall energy can be significant, prove that finding the worst-case input data is NP-hard, and further, that it cannot be estimated to any useful factor. Our work shows that accurate worst-case analysis of data dependent energy is infeasible, and that other techniques for energy estimation should be considered.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the limitations of analysing worst-case dynamic energy of processing

This paper examines dynamic energy consumption caused by data during software execution on deeply embedded microprocessors, which can be significant on some devices. In worst-case energy consumption analysis, energy models are used to find the most costly execution path. Taking each instruction’s worst case energy produces a safe but overly pessimistic upper bound. Algorithms for safe and tight...

متن کامل

Bi-Level Optimization of Microgrids Considering Electric Vehicles under the Worst Conditions of Renewable Resource Output

In this paper, a two-level optimization model of mixed quadratic integer programming (MIQP) is presented in order to optimally operate microgrids under worst-case output conditions of renewable energy sources. This two-level model is divided into two high-level and low-level problems. In the high-level problem, the goal is to reduce energy loss and load shedding in the demand response program, ...

متن کامل

Effectiveness of Energy Retrofit on Energy Consumption and Occupants' Comfort: Case of Shahid Beheshti University Dorimitories

In addition to the building properties effect on energy consumption, it is important to consider occupant’s energy behavior and their interaction with building systems in energy calculations. According to studies, energy retrofit regardless of considering this factor, has a lower effect on reducing the energy consumption. This study investigates the impact of energy retrofit in two (retrofitted...

متن کامل

Bounds on the size of branch-and-bound proofs for integer knapsacks

Using a direct counting argument, we derive lower and upper bounds for the number of nodes enumerated by linear programming-based branch-and-bound (B&B) method to prove the infeasibility of an integer knapsack problem. We prove by example that the size of the B&B tree could be exponential in the worst case.

متن کامل

Effectiveness of Energy Retrofit on Energy Consumption and Occupants' Comfort: Case of Shahid Beheshti University Dorimitories

In addition to the building properties effect on energy consumption, it is important to consider occupant’s energy behavior and their interaction with building systems in energy calculations. According to studies, energy retrofit regardless of considering this factor, has a lower effect on reducing the energy consumption. This study investigates the impact of energy retrofit in two (retrofitted...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1603.02580  شماره 

صفحات  -

تاریخ انتشار 2016